/** Styles through the application for GWT Widgets */

.gwt-TextBox {font-size: 150%;}

.gwt-VerticalPanel {border: 5}